#include "main_test.h"

void main ()
{
	int a_tokenTimerValue = TIMER_VALUE;

	//wm_token_timer_start(&a_tokenTimerValue);

	start_token_scheduling();

	while (1);
}